#ifndef _ARCH_MACHINE_H
#define _ARCH_MACHINE_H 

#include <types.h>

struct machine_arm_desc {
	uint32_t cpu_val;
	uint32_t cpu_mask;
};

#endif /* _ARCH_MACHINE_H */

